package ru.nstu.isma.core.hsm;

import java.util.UUID;

/**
 * by
 * Bessonov Alex.
 * Date: 14.11.13 Time: 0:23
 */
public class HMUnnamedConst extends HMConst {
    public HMUnnamedConst(double value) {
        super("unnamed_const@" + UUID.randomUUID().toString());
        this.value = value;
    }
}
